翻訳と辞書
Words near each other
・ Semantic view of theories
・ Semantic warehousing
・ Semantic Web
・ Semantic web data space
・ Semantic Web Rule Language
・ Semantic Web Services
・ Semantic Web Stack
・ Semantic wiki
・ Semantic Wiki Information Management
・ Semantic-oriented programming
・ Semantically-Interlinked Online Communities
・ SemanticGov
・ Semanticity
・ Semantics
・ Semantics (album)
Semantics (computer science)
・ Semantics encoding
・ Semantics of Business Vocabulary and Business Rules
・ Semantides
・ Semantinet
・ Semantria
・ Semantron
・ Semanur Akbaş
・ Semanário Económico (newspaper)
・ Semanín
・ Semaoune
・ Semapa
・ Semaphore (album)
・ Semaphore (disambiguation)
・ Semaphore (programming)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Semantics (computer science) : ウィキペディア英語版
Semantics (computer science)
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved. In such a case that the evaluation would be of syntactically illegal strings, the result would be non-computation. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will execute on a certain platform, hence creating a model of computation.
Formal semantics, for instance, helps to write compilers, better understand what a program is doing and to ''prove'', e.g., that the following if statement
if 1 = 1 then S1 else S2
has the same effect as ''S1'' alone.
==Overview==
The field of formal semantics encompasses all of the following:
*The definition of semantic models
*The relations between different semantic models
*The relations between different approaches to meaning
*The relation between computation and the underlying mathematical structures from fields such as logic, set theory, model theory, category theory, etc.
It has close links with other areas of computer science such as programming language design, type theory, compilers and interpreters, program verification and model checking.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Semantics (computer science)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.